automation of syllogism
演绎推理自动化
热门查询
- quality control n. 质量控制 [网络] 质量管理；品质管制；品质控制
- tower n. 塔；高楼；堡垒 vi. 高耸；超越 n. (Tower)人名；(英)托尔
- shelling n. 去皮；去壳 v. 剥去…的外壳；向…开枪；脱落（shell的ing形式）
- pugilism n. 拳击
- consensual adj. 交感的；在双方同意下成立的
- pasting n. 裱糊，涂；粘合
- juggling adj. 欺诈的；变戏法的；欺骗的 n. 杂耍；欺骗（等于jugglery） v. 玩杂耍（juggle的ing形式）
- thank n. 感谢 vt. 感谢 int. 谢谢
- mantilla n. 女用小披风，连披肩之头纱 n. (Mantilla)人名；(西)曼蒂利亚
- roi n. (Roi)人名；(法)鲁瓦；(俄、意)罗伊 abbr. 投资回收率（return on investment）；利润率（Rate of Interest）
- squeaker n. 雏鸽；小猪；咬臼者；吱吱叫的东西；发出短促刺耳声的人（或物）
- handset n. 手机，电话听筒
- Christensen [人名] 克里斯滕森
- downside n. 负面，缺点；下降趋势；底侧 adj. 底侧的
- briny adj. 海水的；咸的；盐水的
- ephemeris n. 星历表，历书；短命的东西；日历，日记
- probability n. 可能性；机率；[数] 或然率
- perfervid adj. 非常热心的；热烈的
- sectioned n. 截面；部门；地区；章节 vi. 被切割成片；被分成部分 vt. 把…分段；将…切片；对…进行划分
- cong abbr. 越共（Vietcong）；会众的，集会的（congregational）；代表大会，国会（congress）；议会的，国会的（congressional）
考试词汇表
- bimetallic catalyst
- bimetallic material
- bimetallic releaser
- bimetallic standard
- bimodal deformation
- bimolecular leaflet
- bimorph memory cell
- bimorphic character
- bin level indicator
- bin packing problem
- bin picking problem
- bin stored material
- bin-stored material
- binant electrometer
- binary X ray source
- binary X-ray source
- binary accumulation
- binary buddy system
- binary choice model
- binary coded format
